Aircraft Trajectory Modeling and Alerting Algorithm Verification
نویسندگان
چکیده
The Airborne Information for Lateral Spacing (AILS) program at NASA Langley Research Center aims at giving pilots the information necessary to make independent approaches to parallel runways with spacing down to 2500 feet in Instrument Meteorological Conditions. The AILS concept consists of accurate tra c information visible at the navigation display and an alerting algorithm which warns the crew when one of the aircraft involved in a parallel landing is diverting from the intended ight path. In this paper we present a model of aircraft approaches to parallel runways. Based on this model, we analyze the alerting algorithm with the objective of verifying its correctness. The formalization is conducted in the general veri cation system PVS.
منابع مشابه
Aircraft Trajectory Modeling and Altering Algorithm Verification
The Airborne Information for Lateral Spacing (AILS) program at NASA Langley Research Center aims at giving pilots the information necessary to make independent approaches to parallel runways with spacing down to 2500 feet in Instrument Meteorological Conditions. The AILS concept consists of accurate tra c information visible at the navigation display and an alerting algorithm which warns the cr...
متن کاملDesigning and Modeling a Control System for Aircraft in the Presence of Wind Disturbance (TECHNICAL NOTE)
This paper proposes a switching adaptive control for trajectory tracking of unmanned aircraft systems. The switching adaptive control method is designed to overcome the wind disturbance and achieve a proper tracking performance for control systems. In the suggested system, the wind disturbance is regarded as a finite set of uncertainties; a controller is designed for each uncertainty, and a per...
متن کاملNumerical and Neural Network Modeling and control of an Aircraft Propeller
In this paper, parametric and numerical model of the DC motor, connected to aircraft propellers are extracted. This model is required for controlling trust and velocity of the propellers, and consequently, an aircraft. As a result, both of torque and speed of the propeller can be controlled simultaneously which increases the kinematic and kinetic performance of the aircraft. Parametric model of...
متن کاملPrototype conflict alerting system for free flight
This paper discusses the development of a prototype alerting system for a conceptual Free Flight environment. The concept assumes that datalink between aircraft is available and that conflicts are primarily resolved on the flight deck. Four alert stages are generated depending on the likelihood of a conflict. If the conflict is not resolved by the flight crews, Air Traffic Control is notified t...
متن کاملFalse Alerts in Air Traffic Control Conflict Alerting System: Is There a "Cry Wolf" Effect?
OBJECTIVE The aim is to establish the extent to which the high false-alarm rate of air traffic control midair conflict alerts is responsible for a "cry wolf' effect-where true alerts are not responded to and all alerts are delayed in their response. BACKGROUND Some aircraft collisions have been partly attributed to the cry wolf effect, and in other domains (health care and systems monitoring)...
متن کامل